Bases for projective modules in An(k)
نویسنده
چکیده
Let An(k) be the Weyl algebra, with k a field of characteristic zero. It is known that every projective finitely generated left module is free or isomorphic to a left ideal. Let M be a left submodule of a free module. In this paper we give an algorithm to compute the projective dimension of M . If M is projective and rank(M) ≥ 2 we give a procedure to find a basis. © 2003 Elsevier Ltd. All rights reserved.
منابع مشابه
On H-cofinitely supplemented modules
A module $M$ is called $emph{H}$-cofinitely supplemented if for every cofinite submodule $E$ (i.e. $M/E$ is finitely generated) of $M$ there exists a direct summand $D$ of $M$ such that $M = E + X$ holds if and only if $M = D + X$, for every submodule $X$ of $M$. In this paper we study factors, direct summands and direct sums of $emph{H}$-cofinitely supplemented modules. Let $M$ be an $emph{H}...
متن کاملON PROJECTIVE L- MODULES
The concepts of free modules, projective modules, injective modules and the likeform an important area in module theory. The notion of free fuzzy modules was introducedby Muganda as an extension of free modules in the fuzzy context. Zahedi and Ameriintroduced the concept of projective and injective L-modules. In this paper we give analternate definition for projective L-modules. We prove that e...
متن کاملOn two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملComplexes of $C$-projective modules
Inspired by a recent work of Buchweitz and Flenner, we show that, for a semidualizing bimodule $C$, $C$--perfect complexes have the ability to detect when a ring is strongly regular.It is shown that there exists a class of modules which admit minimal resolutions of $C$--projective modules.
متن کاملA generalization of $oplus$-cofinitely supplemented modules
We say that a module $M$ is a emph{cms-module} if, for every cofinite submodule $N$ of $M$, there exist submodules $K$ and $K^{'}$ of $M$ such that $K$ is a supplement of $N$, and $K$, $K^{'}$ are mutual supplements in $M$. In this article, the various properties of cms-modules are given as a generalization of $oplus$-cofinitely supplemented modules. In particular, we prove tha...
متن کاملFuzzy projective modules and tensor products in fuzzy module categories
Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 36 شماره
صفحات -
تاریخ انتشار 2003